* make-dist: If using gzip, create distribution with '.gz' extension.
authorJim Blandy <jimb@redhat.com>
Fri, 18 Jun 1993 00:50:11 +0000 (00:50 +0000)
committerJim Blandy <jimb@redhat.com>
Fri, 18 Jun 1993 00:50:11 +0000 (00:50 +0000)
commit0dc610dd356da92d9bccb9a39e6f22701669ef38
treeb4847bfd01cd86b835eece491f5b8677650c8b89
parent3e1fc5a7ebc8598de9b9028affdd096d2d0e5dec
* make-dist: If using gzip, create distribution with '.gz' extension.

* make-dist (lisp/term): This doesn't have a ChangeLog anymore.
(lisp/forms-mode): This doesn't exist anymore.
make-dist